#include "system.h"
#include "BF7006AMxx_rtc.h"

uint32_t get_system_tick(void)
{
	return rtc_cnt_get();
}
